J.J.Zeman, "Modal Logic"
J.J.Zeman
https://web.archive.org/web/20070425162735/www.clas.ufl.edu/users/jzeman
S4.9とS5の間に正規様相論理は存在しない